distributive laws for union and intersection of sets